order boundedness

有序有界性